https://filesoo.com/product/37312/boolean-differential-calculus